A Secure Aggregated Message Authentication Scheme for Vehicular

Vehicular ad hoc networks (VANETs) are an emerging area of interest for the security community. Due to the scale of the network, the speed of the vehicles, their geographic positions, and the very sporadic connectivity between them, security issues of VANETs are very challenging, especially on how to ensure the authenticity of emergency messages efficiently. In this paper, we propose a secure aggregated message authentication (SAMA) scheme in certificateless public key settings to validate emergency messages for VANETs. We make use of aggregation and batch verification techniques for emergency message verification to reduce the computation overhead. Moreover, the SAMA scheme is modelled and analyzed with Petri nets. Our analysis shows that the SAMA scheme can successfully defend forgery attacks and ensure the conditional privacy preservation and traceability of vehicles.